lazy intersection

惰性求交